4061. The implementation of Prolog /
پدیدآورنده: Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Prolog (Computer program language),MATHEMATICS-- Linear & Nonlinear Programming.,Prolog (Computer program language)
رده :
QA76
.
73
.
P76
B65
1993eb
4062. The influence of computing on mathematical research and education
پدیدآورنده: edited by Joseph P. Lasalle
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
4063. The interwoven sources of dreams
پدیدآورنده: Umberto Barcaro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dream interpretation.,Dreams.
رده :
BF1078
.
U434
2010
4064. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده: editors : Masakazu Suzuki....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
4065. The joy of Mathematica
پدیدآورنده: Alan Shucat, Fred Shultz,Shuchat, Alan.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematica (Computer file),Mathematics,Data processing.
رده :
QA76
.
95
.
S53
2000
4066. The joy of sets :
پدیدآورنده: Keith Devlin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory.
رده :
QA248
.
D38
1993
4067. The limits of mathematics :
پدیدآورنده: Gregory J. Chaitin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Information theory,Reasoning
رده :
QA76
.
9
.
M35
C48
1998
4068. <The> limits of mathematics:a course on information theory
پدیدآورنده: Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
4069. <The> limits of mathematics:a course on information theory
پدیدآورنده: Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
4070. The limits of mathematics : a course on information theory and limits of formal reasoning
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35C43
4071. The limits of mathematics: a course on information theory and the limits of formal reasoning
پدیدآورنده: Chaitin, Gregory J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35
.
C48
1998
4072. The linear complementarity problem
پدیدآورنده: Richard W. Cottle, Jong-Shi Pang, Richard E. Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear complementarity problem.
رده :
QA402
.
5
.
C68
2009
4073. The linear complementarity problem
پدیدآورنده: Richard W. Cottle, Jong-Shi Pang, Richard E. Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear complementarity problem.
رده :
QA402
.
5
.
C68
2009
4074. The little typer /
پدیدآورنده: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
4075. The making of a new science :
پدیدآورنده: Giorgio Ausiello.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
4076. The mathematica book
پدیدآورنده: / Stephen Wolfram
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematics -- Data processing,Mathematica (Computer file)
رده :
QA
76
.
95
.
W65
1996
4077. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده: J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
4078. The mathematical theory of wavelets : prepared for the DIMACS Workshop, held on April 4,5,6 2001, at Rutgers University
پدیدآورنده: Compiled by Guido Weiss
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Wavelets )Mathematics(
رده :
QA
403
.
3
.
D5
2001
4079. The mathematics of coding theory :
پدیدآورنده: Paul Garrett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coding theory.,Error analysis (Mathematics),Finite fields (Algebra),Codierung.,Codierung.,Coding theory.,Error analysis (Mathematics),Finite fields (Algebra)
رده :
QA275
.
G26
2004
4080. The mathematics of encryption :
پدیدآورنده: Margaret Cozzens, Steven J. Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coding theory, Textbooks.,Cryptography-- History, Textbooks.,Cryptography-- Mathematics, Textbooks.,Cryptography, Textbooks.,Data encryption (Computer science), Textbooks.
رده :
QA268
.
C697
2013
